делать подстановку

делать подстановку
Mathematics: make substitution

Универсальный русско-английский словарь. . 2011.

Игры ⚽ Нужен реферат?

Смотреть что такое "делать подстановку" в других словарях:

  • С++ — См. также: Си (язык программирования) C++ Семантика: мультипарадигмальный: объектно ориентированное, обобщённое, процедурное, метапрограммирование Тип исполнения: компилируемый Появился в: 1985 г. Автор(ы): Бьёрн Страуструп …   Википедия

  • C++ — У этого термина существуют и другие значения, см. C. См. также: Си (язык программирования) C++ Семантика: мультипарадигмальный: объектно ориентированное, обобщённое, процедурное, метапрограммирование Тип исполнения: компилируемый Появился в …   Википедия

  • Теорема о конце света — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Теорема о конце света (Doomsday argument, сокращённо далее DA, нет устоявшегося перевода на русский язык, обычно используют английское …   Википедия

  • Света аргумент — Теорема о конце света (Doomsday argument, сокращённо далее DA, нет устоявшегося перевода на русский язык, обычно используют английское название или сокращение DA)  это вероятностное рассуждение, которое претендует на то, чтобы предсказывать… …   Википедия

  • Влияния литературные — ВЛИЯНИЯ ЛИТЕРАТУРНЫЕ. Борьба классов основной закон социального бытия. Каждая общественная группировка живет и развивается под непрерывными воздействиями извне. Отстаивая права на самостоятельное развитие, она стремится эти внешние воздействия… …   Литературная энциклопедия

  • Модель типизации Хиндли — Милнера — Вывод типа (Type inference) в программировании возможность компилятора автоматически вывести тип выражения. Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется в и объекто ориентированых ЯП… …   Википедия

  • Корень Бринга — Проверить информацию. Необходимо проверить точность фактов и достоверность сведений, изложенных в этой статье. На странице обсуждения должны быть пояснения. В алгебре корень Бринга или ультрарадикал это аналитическая функция , такая что для… …   Википедия

  • Gettext — Тип библиотека для интернационализации Разработчик Ульрих Дреппер Написана на Си ОС различные Версия …   Википедия

  • Вывод типов — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Вывод типа (англ. Type inference)  в программировании возможность компилятора… …   Википедия

  • Модель типизации Хиндли-Милнера — Вывод типа (Type inference) в программировании возможность компилятора автоматически вывести тип выражения. Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется в и объекто ориентированых ЯП… …   Википедия

  • Модель типизации Хиндли - Милнера — Вывод типа (Type inference) в программировании возможность компилятора автоматически вывести тип выражения. Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется в и объекто ориентированых ЯП… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»